Books by author Rajeev Alur

Showing 1 – 5 out of 5 results

1. 

   Embedded Software

   Rajeev Alur, Insup Lee | Springer, Berlin, 2003

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
2. 

   Computer Aided Verification

   Rajeev Alur, Thomas Henzinger | Springer, Berlin, 1999

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
3. 

   Hybrid Systems: Computation and Control

   Rajeev Alur, George Pappas | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.69 €

   Sale 7 %

   You save 8.60 €

   Buy
4. 

   Computer Aided Verification

   Rajeev Alur, Doron A. Peled | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.69 €

   Sale 7 %

   You save 8.60 €

   Buy
5. 

   Hybrid Systems III

   Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag | Springer, Berlin, 1996

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.69 €

   Sale 7 %

   You save 8.60 €

   Buy

Nobody else offers you access to a wider selection. Find out more